<?php
	
	echo json_encode($result);

?>